Search Results for 'algebra unifies calculi of programming'

algebra unifies calculi of programming published presentations and documents on DocSlides.

Algebra unifies calculi of programming

by stefany-barnette

Tony Hoare. Feb 2012. With Ideas from. Ian Wehrma...